UnequalTo

UnequalTo[y] is an operator form that yields x≠y when applied to an expression x.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.